Building Up Hierarchical Mathematical Domains Using Functors in TH∃OREM∀
نویسندگان
چکیده
منابع مشابه
Building up hierarchical mathematical domains using functors in Theorema
The world of mathematical domains is structured hierarchically. There are elementary domains and there are well– known techniques how to build up new domains from existing ones. Which of the domains to view as the actual basis of the hierarchy is the freedom of the mathematician who wants to work with these domains and it depends of course on the intention of their use. The strength of the conc...
متن کاملApproximation in Mathematical Domains
Explanation-based learning is accomplished through the generalization of an explanation produced by analysis of a single example. A theory of the domain is utilized in generating the explanation. However, problems arise when the domain theory is intractable. Simplifications must be made in order to make the problem tractable. Well-founded simplifications based on our real world knowledge are te...
متن کاملBuilding Hierarchical Classi ers Using Class Proximity
In this paper we address the need to auto matically classify text documents into topic hierarchies like those in ACM Digital Library and Yahoo The existing local approach con structs a classi er at each split of the topic hi erarchy However the local approach does not address the closeness of classi cation in hier archical classi cation where the concern often is how close a classi cation is ra...
متن کاملBuilding Hierarchical Classifiers Using Class Proximity
In this paper, we address the need to automatically classify text documents into topic hierarchies like those in ACM Digital Library and Yahoo!. The existing local approach constructs a classi er at each split of the topic hierarchy. However, the local approach does not address the closeness of classi cation in hierarchical classi cation where the concern often is how close a classi cation is, ...
متن کاملRequirements for Building up Large Mathematical Knowledge Bases Workshop on Representation of Mathematical Knowledge Edited
Diierent requirements for the representation of the factual knowledge for the use in mechanised reasoning systems are represented. In particular, we distinguish diier-ent types of knowledge: axioms, deenitions (for introducing concepts like \set" or \group") and theorems (for relating the concepts) for formulating concepts and their relationships, as well as proofs, examples and counterexamples...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80612-7